<!DOCTYPE html>
<html>
<head>
<title>Writing Declaration Files</title>
<script>
    window.location.replace("./declaration-files/introduction.html" + window.location.hash);
</script>
</head>
<body>
</body>